church–turing thesis أمثلة على

أمثلة

1. Because these three properties are not formally stated, the Church–Turing thesis cannot be proved.
   لأن هذه الخصائص الثلاث ليسوا منصوص عليهم بشكل رسمي، فلا يمكننا إثبات فرضية تشرتش-تورنغ.
2. The Church–Turing thesis conjectures that there is no effective model of computing that can compute more mathematical functions than a Turing machine.
   أطروحة تورنغ-تشرتش تخمن أنه لا يوجد نموذج فعّال للحساب والذي يمكنه حساب وظائف رياضية أكثر من آلة تورنغ.
3. The Church–Turing thesis is sometimes used in proofs to justify that a particular function is computable by giving a concrete description of a procedure for the computation.
   تستخدم فرضية تشرتش-تورنغ أحياناً في إثبات استيفاء أن دالة معينة قابلة للحساب عن طريق منحها وصف ملموس لإجراءات الحسابية .
4. In fact, a consequence of the Church–Turing thesis is that there is no reasonable model of computation which can decide languages that cannot be decided by a Turing machine.
   في الواقع، نتيجة لفرضية الكنيسة – تورنغ أنه لا يوجد نموذج معقول للحساب والذي يمكن أن يقرر اللغات التي لا يمكن تحديدها بآلة تورنغ.